Special instances of generalized continuity which are conservative over intuitionistic arithmetic
نویسندگان
چکیده
منابع مشابه
Generalized Continuity in Intuitionistic Fuzzy Topological Spaces
In this paper we introduce and study the concept of intuitionistic fuzzy gcontinuous mappings in intuitionistic fuzzy topological spaces.
متن کاملNon-linear arithmetic operation on generalized triangular intuitionistic fuzzy numbers
In this paper we discussed some nonlinear arithmetic operation on generalized triangular intuitionistic fuzzy numbers. Some examples and an application are given.
متن کاملClassical arithmetic is part of intuitionistic arithmetic
One of Michael Dummett’s most striking contributions to the philosophy of mathematics is an argument to show that the correct logic to apply in mathematical reasoning is not classical but intuitionistic. In this article I wish to cast doubt on Dummett’s conclusion by outlining an alternative, motivated by consideration of a well-known result of Kurt Gödel, to the standard view of the relationsh...
متن کاملIntuitionistic weak arithmetic
We construct ω-framed Kripke models of i∀1 and iΠ1 non of whose worlds satisfies ∀x∃y(x = 2y∨x = 2y+1) and ∀x, y∃zExp(x, y, z) respectively. This will enable us to show that i∀1 does not prove ¬¬∀x∃y(x = 2y ∨ x = 2y + 1) and iΠ1 does not prove ¬¬∀x, y∃zExp(x, y, z). Therefore, i∀1 0 ¬¬lop and iΠ1 0 ¬¬iΣ1. We also prove that HA 0 lΣ1 and present some remarks about iΠ2. 2000 Mathematics Subject C...
متن کاملFour New Operators over the Generalized Intuitionistic Fuzzy Sets
In this paper, newly defined four level operators over generalized intuitionistic fuzzy sets (GIFSBs) are proposed. Some of the basic properties of the new operators are discussed. Geometric interpretation of operators over generalized intuitionistic fuzzy sets is given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1977
ISSN: 1385-7258
DOI: 10.1016/1385-7258(77)90047-6